Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models

This paper presents a Boolean discrete event model-based approach for Fault Detection and Isolation of manufacturing systems. This approach considers a system as a set of components composed of discrete actuators and their associated discrete sensors. Each component model is only aware of its local desired, fault-free, behavior. The occurrence of any fault entailing the violation of the desired behavior is detected and the potential responsible candidates are isolated using event sequences, time delays between correlated events and state conditions, characterized by sensors readings and control signals issued by the controller. An application example is used to illustrate the approach.